Colby]Fuller Duality between Coalgebras
نویسندگان
چکیده
w x In 8 , K. Morita introduced a useful notion of duality between categories of modules, usually called ‘‘Morita duality.’’ He proved that every duality is given by contravariant hom functors defined by a bimodule which is an injective cogenerator for both categories of modules. On the other hand, the equivalences between categories of comodules over a coalgebra w x were characterized by M. Takeuchi 12 . In this paper, we study the dualities between categories of comodules. A notion of duality for general Grothendieck categories that seems to extend Morita duality satisfactorily w x was introduced by R. R. Colby and K. R. Fuller in 1 . It has been recently w x investigated by J. L. Gomez Pardo and P. A. Guil Asensio 3, 4, 6 . ́ Section 1 is devoted to obtaining a complete characterization of Colby]Fuller dualities between coalgebras. A coalgebra C over a field k is right semiperfect if the category M C of right C-comodules has enough projectives. If C and D are coalgebras over a field k, then either C and D are left and right semiperfect or there is no Colby]Fuller duality between the category of right C-comodules and the category of left D-comodules Ž . Ž . Theorem 1.11 . This, together with Theorem 1.6 2 , shows that there is a
منابع مشابه
Coalgebras, Stone Duality, Modal Logic
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we will need to learn something about modal logic, about S...
متن کاملDuality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X . The propositional logic used to reason about state spaces from X is modelled by the Stone dual A of X (e.g. if X is Stone spaces then A is Boolean algebras and the propositional logic is the classical one). In order to obtain a m...
متن کاملThe duality between vertex operator algebras and coalgebras, modules and comodules
We construct an equivalence between the categories of vertex operator algebras and vertex operator coalgebras. We then investigate to what degree weak modules, generalized modules and ordinary modules carry corresponding comodule structures, as well as when various comodules carry module structure.
متن کاملResearch of Alexander Kurz
Coalgebras When I started my PhD, the idea that the theory of coalgebras might serve as a general theory of systems had emerged. But there were only a few ad hoc descriptions of speci cation languages for coalgebras which were built, in analogy with logics for algebras, on equational logic and extensions. [2] was one of the rst papers to put forward the idea that modal logics should be used as ...
متن کاملModal De Vries Algebras
We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of coalgebras for the Vietoris functor on compact Hausdorff spaces. This duality serves as a common generalization of de Vries duality between de Vries algebras and compact Hausdorff spaces, and the duality between modal algebras and modal spaces.
متن کامل